Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
AUTOMATIQUE — Automation, automatique, automatisation, automatismes, théorie des automates, cybernétique..., la variété même des vocables utilisés traduit la difficulté de définir précisément le contenu du substantif automatique . Nous choisirons ici d’appeler … Encyclopédie Universelle
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Logique Floue — La logique floue (fuzzy logic, en anglais) est une technique utilisée en intelligence artificielle. Elle a été formalisée par Lotfi Zadeh en 1965 et utilisée dans des domaines aussi variés que l automatisme (freins ABS), la robotique… … Wikipédia en Français
Logique De Description — Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d application d une manière … Wikipédia en Français
Logique descriptive — Logique de description Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d… … Wikipédia en Français
logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure … Encyclopédie Universelle
Logique des propositions — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique propositionnelle — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique binaire — Algèbre de Boole (logique) Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les… … Wikipédia en Français
Logique booléenne — Algèbre de Boole (logique) Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les… … Wikipédia en Français
